Formal methods for mobile computing (Bertinoro, 26-30 April 2005, advanced lectures)Bernardo, Marco; Bogliolo, Alessandro.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25697-0, VI, 270 p, isbn 3-540-25697-0Conference Proceedings

An ontology for mobile agents in the context of formal verificationSALEM DA SILVA, Paulo; VIEIRA DE MELO, Ana Cristina.Lecture notes in computer science. 2005, pp 1500-1516, issn 0302-9743, isbn 3-540-29736-7, 2Vol, 17 p.Conference Paper

MA 2002 : mobile agents (Barcelona, 22-25 October 2002)Suri, Niranjan.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-00085-2, X, 201 p, isbn 3-540-00085-2Conference Proceedings

Agents for hand-held, mobile, or embedded devicesFININ, Tim.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43858-0, p. 422Conference Paper

Using a formal framework for agent system designCARCHIOLO, Vincenza; MALGERI, Michele; MANGIONI, Giuseppe et al.Lecture notes in computer science. 2001, pp 308-317, issn 0302-9743, isbn 3-540-42716-3Conference Paper

Exploiting transiently shared tuple spaces for location transparent code mobilityPICCO, Gian Pietro; BUSCHINI, Marco L.Lecture notes in computer science. 2002, pp 258-273, issn 0302-9743, isbn 3-540-43410-0Conference Paper

A fully abstract model for higher-order mobile ambientsCOPPO, Mario; DEZANI-CIANCAGLINI, Mariangiola.Lecture notes in computer science. 2002, pp 255-271, issn 0302-9743, isbn 3-540-43631-6Conference Paper

On the solvability of anonymous partial grids exploration by mobile robotsPublication interne - IRISA. 2008, Num 1892, issn 1166-8687, 1Vol, 21 p.Report

Support mobile IPv6 in IPv4 domainsCHANGWEN LIU.IEEE Vehicular Technology Conference. 2004, pp 2700-2704, isbn 0-7803-8255-2, 5Vol, 5 p.Conference Paper

The performance server : Rational server selection for mobile agentsPILS, Carsten; DEISSNER, Klaus; DIEPOLDER, Stefan et al.IEEE symposium on computers communications. 2004, isbn 0-7803-8623-X, 2Vol, vol1, 13-18Conference Paper

A nested token-based delegation scheme for cascaded delegation in mobile agent environmentsHYEOG MAN KWON; MOON JEONG KIM; YOUNG IK EOM et al.Lecture notes in computer science. 2003, pp 537-547, issn 0302-9743, isbn 3-540-40456-2, 11 p.Conference Paper

Secure mobile agents applications: Implementation through platform servicesAMETLLER, Joan; ROBLES, Sergi; BORRELL, Joan et al.Lecture notes in computer science. 2003, pp 265-274, issn 0302-9743, isbn 3-540-20298-6, 10 p.Conference Paper

Towards a policy based framework for mobile agent authorisation in mobile systemsGALLERY, E.IEE conference publication. 2003, pp 13-17, issn 0537-9989, isbn 0-85296-756-X, 5 p.Conference Paper

Characterization and management of dynamical behavior in a system with mobile componentsERFURTH, Christian; ROSSAK, Wilhelm.Lecture notes in computer science. 2002, pp 109-119, issn 0302-9743, isbn 3-540-43790-8, 11 p.Conference Paper

Non-blocking transactional mobile agent executionPLEISCH, Stefan; SCHIPER, André.Proceedings of the ... International Conference on Distributed Computing Systems. 2002, pp 443-444, issn 1063-6927, isbn 0-7695-1585-1, 2 p.Conference Paper

Simplifying mobile agent development through reactive mobility by failureZUNINO, Alejandro; CAMPO, Marcelo; MATEOS, Cristian et al.Lecture notes in computer science. 2002, pp 163-174, issn 0302-9743, isbn 3-540-00124-7, 12 p.Conference Paper

Easy stabilization with an agentBEAUQUIER, Joffroy; HERAULT, Thomas; SCHILLER, Elad et al.Lecture notes in computer science. 2001, pp 35-50, issn 0302-9743, isbn 3-540-42653-1Conference Paper

Lime revisited : Reverse engineering an agent communication modelCARBUNAR, Bogdan; VALENTE, Marco Tulio; VITEK, Jan et al.Lecture notes in computer science. 2001, pp 54-69, issn 0302-9743, isbn 3-540-42952-2Conference Paper

Engineering infrastructures for mobile organizationsCABRI, Giacomo; LEONARDI, Letizia; MAMEI, Marco et al.Lecture notes in computer science. 2001, pp 39-56, issn 0302-9743, isbn 3-540-43091-1Conference Paper

Separation of concerns in mobile agent applicationsUBAYASHI, Naoyasu; TAMAI, Tetsuo.Lecture notes in computer science. 2001, pp 89-109, issn 0302-9743, isbn 3-540-42618-3Conference Paper

Running agents in mobile devicesBAJO, Javier; CORCHADO, Juan M; FEMANDO CASTILLO, Luis et al.Lecture notes in computer science. 2006, pp 58-67, issn 0302-9743, isbn 3-540-45462-4, 1Vol, 10 p.Conference Paper

Empirical analysis of the connectivity threshold of mobile agents on the gridPEREZ, Xavier.Lecture notes in computer science. 2005, pp 253-264, issn 0302-9743, isbn 3-540-25920-1, 12 p.Conference Paper

Reachability analysis in boxed ambientsBUSI, Nadia; ZAVATTARO, Gianluigi.Lecture notes in computer science. 2005, pp 143-159, issn 0302-9743, isbn 3-540-29106-7, 1Vol, 17 p.Conference Paper

MobiGrid*: Framework for mobile agents on computer grid environmentsBARBOSA, Rodrigo M; GOLDMAN, Alfredo.Lecture notes in computer science. 2004, pp 147-157, issn 0302-9743, isbn 3-540-23423-3, 11 p.Conference Paper

A uniform reduction equivalence for process calculiZINING CAO.Lecture notes in computer science. 2004, pp 179-195, issn 0302-9743, isbn 3-540-23724-0, 17 p.Conference Paper